Conjunctive Normal Form (CNF)